Представлен метод оценки продолжительности обработки внешних событий программными приложениями в распределенных системах реального времени. Показано, что на выполнимость таких приложений могут влиять вариации продолжительности исполнения отдельных задач и передачи отдельных сообщений. Такое влияние необходимо учитывать при оценке выполнимости цепочек задач, участвующих в реакции на конкретные типы внешних событий.
Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам.
1 - 2 из 2 результатов